Matemática
Expressões racionais finitas, divisão reconstruída e prova formal dentro do fragmento lógico implementado.
Public Research Preview · experimental
Conhecimento com caminho, limite e memória.
O PSF-IAminy investiga a construção rastreável de Matemática e Português. Um resultado precisa mostrar a ponte até o conhecimento anterior; sem ponte, permanece hipótese, lacuna ou limite.
Regra central: Nunca fingir.
OpenAI Build Week 2026
Construído publicamente com Codex e GPT-5.6
Durante o período do concurso, Codex e GPT-5.6 apoiaram auditoria, implementação, testes, depuração, empacotamento, segurança e documentação. As decisões finais permaneceram com o mantenedor, e o modelo externo não é fundamento do conhecimento PSF nem dependência de execução.
Estado real
O que existe hoje
Português
Léxico interno, morfologia, sugestões ortográficas e grafo de conceitos. A automação continua parcial.
Motor comum
Memória, dependências, auditoria, pureza e rastreabilidade sem misturar a autoridade dos dois domínios.
Fluxo
Da entrada à resposta justificada
- 1Entradatexto ou problema
- 2Intençãoanálise e roteamento
- 3Motor PSFMatemática ou Português
- 4Auditoriaponte, pureza e limites
- 5Saídaresultado ou lacuna explícita
Verificação local
Números com contexto
- 1.223
- testes recolhidos na árvore atual
- 63%
- cobertura de linhas na fotografia documentada
- 7/7
- concordâncias na amostra contra SymPy 1.14.0
- 0
- alertas Bandit médios ou altos
Quantidade de testes e cobertura não provam correção científica geral. A primeira execução pública falhou; as correções locais ainda aguardam publicação e uma nova execução verde.
Para investigadores
Onde este experimento pode ser escrutinado
Matemática computacional
Construções racionais finitas, custo de métodos por retirada e distinção explícita entre teste finito e prova.
Representação e explicabilidade
Pontes de dependência, origem, auditoria e recusa de transformar uma lacuna em resposta com aparência de certeza.
Educação e linguística
Pacotes derivados do grafo e Português interno rastreável, com automação parcial e falsos positivos publicados.
Transparência
Limites observados
- Escala matemática:
20*20terminou em 0,215 s;99*99excedeu dez segundos nesta máquina. - Português: quatro de oito palavras válidas numa amostra pequena receberam sugestão indevida; o corretor é consultivo.
- Plataformas: reprodução limpa confirmada na mesma máquina Linux; terceiro, Windows e macOS continuam pendentes.
- Hipóteses: a ideia autoral de primalidade não está integrada nem provada.